Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
61	Aligning the Top Level of SNOMED-CT with Basic Formal Ontology William R. Hogan, MD, MS Nature Precedings : doi:npre : Posted 7 OctBackground Add to Reading List Source URL: precedings.nature.com Language: English Ontology Information science Knowledge representation Metaphysics Semantic Web Philosophy Systematized Nomenclature of Medicine Formal ontology Gene ontology Barry Smith Web Ontology Language
62	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
63	Grounding Geographic Information Simon Scheider, Anusuriya Devaraju, Krzysztof Janowicz, Patrick Maue, Sven Schade, Carsten Keßler, Jens Ortmann, Mohamed Bishr, Tonio Fincke, Tobias Weigel and Werner Kuhn Institute for Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:39 Philosophy Cognitive science Metaphysics Ontology Information science Knowledge representation Technical communication Qualia Formal ontology Semantics Web Ontology Language Philosophy of perception
64	Formal Ontology and Principles of Knowledge Organization: An Axiomatic Approach Heinrich Herre Ontologies and Knowledge-Based Systems Research Group Onto-Med, IMISE Add to Reading List Source URL: www.isko-de.org Language: English - Date: 2015-03-15 09:44:28 Ontology Information science Semantic Web Technical communication Information Knowledge representation Knowledge Formal ontology Web Ontology Language Upper ontology Process ontology
65	A pipeline for biomedical ontology maintenance and release: current status and future requirements Carlo Torniai1, Matthew Brush1and Melissa Haendel1 1 Library and Department of Medical Informatics of Oregon Health & Sc Add to Reading List Source URL: www.carlotorniai.net Language: English* - Date: 2013-02-13 19:32:25 Ontology Information science Knowledge representation Semantic Web Technical communication Information Knowledge Upper ontology Formal ontology Web Ontology Language OBO Foundry Gene ontology
66	Formal Grammars and Languages 1 Tao Jiang Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2002-01-28 23:36:37 Formal languages Combinatorics Mathematics Language Pattern language Context-sensitive grammar Regular language String Regular grammar Context-free grammar Formal grammar Kleene star
67	Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra Stefano Merenda, Markus Herrmannsdoerfer, and Martin Feilkas Institut f¨ ur Informatik Technische Universit¨ Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Unified Modeling Language Software engineering Computing ISO standards Scientific modeling Abstraction Data modeling Metamodeling Software design Meta-Object Facility Object Constraint Language KM3
68	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
69	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
70	Semi-Automatic Mapping of WordNet to Basic Formal Ontology Selja Sepp¨al¨a,1 Amanda Hicks,2 Alan Ruttenberg1 1 University at Buffalo Buffalo, NY, USA Add to Reading List Source URL: seljaseppala.files.wordpress.com Language: English - Date: 2016-07-13 06:12:36 Ontology Knowledge representation Information science Computing Information Semantic Web Computational linguistics WordNet Formal ontology Descriptive Ontology for Linguistic and Cognitive Engineering Web Ontology Language Barry Smith

UPDATE